From 3d05d635fc69e56d77ecf7b168c56b4c1a2d5123 Mon Sep 17 00:00:00 2001 From: "iap10@labyrinth.cl.cam.ac.uk" Date: Mon, 9 Aug 2004 21:46:57 +0000 Subject: [PATCH] bitkeeper revision 1.1159.12.1 (4117f0d1EjfQrr7cjM82SS7qdzq81A) Build xend manual plus latex fixes --- docs/Makefile | 2 +- docs/xend.tex | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/Makefile b/docs/Makefile index ae8db6a27c..416f2b70c1 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -5,7 +5,7 @@ # DOCUMENTS should be a list of the target Postscript files. DOCUMENTS = interface.ps interface.pdf interface.html user.ps \ - user.pdf user.html + user.pdf user.html xend.ps xend.pdf xend.html GFX = $(patsubst %.obj, %.eps, $(wildcard figs/*.obj)) GFX += $(patsubst %.fig, %.eps, $(wildcard figs/*.fig)) diff --git a/docs/xend.tex b/docs/xend.tex index abf402adfb..ec62af5e11 100644 --- a/docs/xend.tex +++ b/docs/xend.tex @@ -123,7 +123,7 @@ to release the devices for exited domains. Xend also closes any open console connections and removes the TCP listeners for exited domains. Once all devices have been released it instructs xen to destroy the memory image. -\seb{Domain restart} +\secb{Domain restart} Domain restart is the xen equivalent of a machine reboot. When a domain exits because it has been shutdown in reboot mode, its exit code is reboot. When examining domains to find those that have exited and destroy them, @@ -445,4 +445,4 @@ http://www.openssh.org. http://www.stunnel.org. \end{thebibliography} -\end{document} \ No newline at end of file +\end{document} -- 2.30.2